Search Results
ICFP 2012 Monday keynote. Conor McBride: Agda-curious?
A Few Frank Remarks
ICFP 2012 Weds keynote. Peter Sewell: Tales from the jungle.
ICFP 2012. ACM SIGPLAN awards.
ICFP 2014: How to Keep Your Neighbours in Order - Conor McBride
12 An Agda formalization of the transitive closure of block matrices
ICFP 2012 Tuesday keynote. Kunle Olukotun: High Performance Embedded Domain Specific Languages.
ICFP 2012. Nils Anders Danielsson: Operational Semantics using the Partiality Monad.
ICFP 2012 undergraduate student poster session. Olivier
ICFP 2012. Robby Findler: Programme Chair's report.
Memories are Made of This
WGP @ ICFP 2012. Jaakko Järvi
